Geosci. Model Dev., 8, 2959–2965, 2015 www.geosci-model-dev.netdoi:gmd © Author(sCC Attribution 3.0 License. Evaluation of modeled surface ozone biases as a function of cloud

Source URL: www.geosci-model-dev.net

Advances in gringo series 3 Martin Gebser, Roland Kaminski, Arne K¨onig, and Torsten Schaub? Institut f¨ur Informatik, Universit¨at Potsdam Abstract. We describe the major new features emerging from a significant rede

Source URL: www.cs.uni-potsdam.de

• Model theory
• Quantification
• Answer set programming
• Logic programming
• FO
• Functional predicate
• Universal quantification
• Limit of a function
• Expected value
• Predicate

Discrete mixtures of GEV models Stephane Hess, Imperial College London & RAND Europe Michel Bierlaire, EPFL John W. Polak, Imperial College London Conference paper STRC 2005

Source URL: www.strc.ch

• Statistical models
• Regression analysis
• Choice modelling
• Discrete choice
• Mode choice
• Mixed logit
• Probability distribution
• Multinomial logistic regression
• Logistic regression
• Likelihood function
• Mixture model
• Gibbs sampling

Model Checking Invariant Security Properties in OpenFlow Sooel Son University of Texas at Austin Seungwon Shin Vinod Yegneswaran

Source URL: faculty.cs.tamu.edu

• Mathematics
• Field theory
• Limit of a function
• Mathematical analysis
• Expected value
• Valuation
• Flow
• Obfuscation
• Word square

「画像の認識・理解シンポジウム (MIRU2007)」 2007 年 7 月 Automatically Learning the Objective Function for Model Fitting Matthias WIMMER† and Bernd RADIG† † Fakult¨at f¨ ur Informatik, Technisc

Source URL: wimmerm.bplaced.net

Location Choice Modeling for Shopping and Leisure Activities with MATSim: Utility Function Extension and Validation Results Andreas Horni Darren M. Scott Michael Balmer

Source URL: www.strc.ch

• Scientific modeling
• Economy
• Evaluation
• Metaphor
• Transportation planning
• Economic model
• Scientific modelling
• Leisure
• Agent-based model
• Microeconomics
• Validation
• Tourism

UNH_CMAC Version 2.1 The University of New Hampshire Implementation of the Cerebellar Model Arithmetic Computer - CMAC August 31, 1994 (last modified July, 1996) W. Thomas Miller and Filson H. Glanz

Source URL: incompleteideas.net

• Computational neuroscience
• Neuroscience
• Nervous system
• Sensory systems
• Artificial neural networks
• Applied mathematics
• Receptive field
• Cerebellar model articulation controller
• One-key MAC
• Hash function
• Contrast
• Image segmentation

METHODS FOR APPLYING DYNAMIC SINUSOIDAL MODELS TO STATISTICAL PARAMETRIC SPEECH SYNTHESIS Qiong Hu1 , Yannis Stylianou2 , Ranniery Maia2 , Korin Richmond1 , Junichi Yamagishi1,3 1 The Centre for Speech Technology Resear

Source URL: www.cstr.ed.ac.uk

• Fourier analysis
• Digital signal processing
• Signal processing
• Waves
• Waveforms
• Vocoder
• Speech synthesis
• Speech coding
• Hidden Markov model
• Synthesizer
• Sine wave
• Window function

ATTRIBUTING MODELLING ERRORS IN HMM SYNTHESIS BY STEPPING GRADUALLY FROM NATURAL TO MODELLED SPEECH Thomas Merritt1 , Javier Latorre2 , Simon King1 1 2

Source URL: www.cstr.ed.ac.uk

• Computational linguistics
• Markov models
• Probability distributions
• Digital signal processing
• Standard deviation
• Hidden Markov model
• Speech synthesis
• Window function
• Variance
• Ping
• Normal distribution

Exploring discrete choice model with fuzzy control theory Ming LU, IVT, BAUG, ETHZ Conference paper STRC 2012

Source URL: www.strc.ch

• Fuzzy logic
• Logic
• Science and technology
• Mathematical logic
• Neuro-fuzzy
• Fuzzy control system
• Fuzzy set
• Adaptive neuro fuzzy inference system
• Discrete choice
• Membership function
• Fuzzy rule
• Artificial neural network